Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
611	Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY: Abstract— We propose to design new algorithms for motion Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 07:00:03 Applied mathematics Motion planning Closed and exact differential forms Algorithm Constructible universe Ordinal number Theoretical computer science Mathematics Mathematical logic
612	Classifying and Solving Horn Clauses for Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:12:36 Logic in computer science Automated theorem proving Logic programming Interpolation Video signal Craig interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
613	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
614	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
615	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
616	Mining Apps to Learn Normal Behavior Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 2014-10-21 03:47:57 Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering
617	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
618	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
619	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
620	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic

UPDATE